1. ......................

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Cybernetics,، Artificial intelligence,، Neurophysiology

رده :
Q
310
.
A72

2. A Basic for theoretical computer science

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Machine theory,، Formal languages

رده :
QA
267
.
A517
1981

4. A basis for theoretical computer science

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Computer science

رده :
QA
267
.
A715

5. A programming approach to computability

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Computable functions,، Computer programming

رده :
QA
9
.
59
.
K46
1982

7. <A> programming approach to computability

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)

رده :
QA9
.
59
،.
K568
1982

9. Algebraic approaches to program semantics

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Programming languages )Electronic computers(,، Algebra

رده :
QA
76
.
7
.
M34
1986

17. Brains, machines, and mathemaitcs

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع: Cybernetics

رده :
001
.
53
A664

19. Brains, machines and mathematics

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)

موضوع: Cybernetics ► Machine theory

رده :
A664b

20. Brains, machines, and mathematics

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Cybernetics,، Machine theory

رده :
Q
310
.
A7
1987